Consistently Semicontinuous Dcpo
نویسندگان
چکیده
منابع مشابه
Dcpo models of T1 spaces
A poset model of a topological space X is a poset P together with a homeomorphism φ : X−→Max(P ) (Max(P ) is the subspace of the Scott space ΣP consisting of maximal points of P ). In [11] (also in [2]), it was proved that every T1 space has a bounded complete algebraic poset model. It is, however still unclear whether each T1 space has a dcpo model. In this paper we give a positive answer to t...
متن کاملDcpo-completion of posets
We introduce a new type of dcpo-completion of posets, called D-completion. For any poset P , the D-completion exists, and P and its Dcompletion have the isomorphic Scott closed set lattices. This completion is idempotent. A poset P is continuous (algebraic) if and only if its D-completion is continuous(algebraic). Using the D-completion, we construct the local dcpocompletion of posets, that rev...
متن کاملColimits in the Category DCPO
We establish sufficient and necessary conditions for a natural sink to be a colimit in DCPO. Based on these conditions we show how to construct a colimit for any functor F from a small category into the category DCPO. This demonstrates that the category DCPO is cocomplete. We also investigate under what conditions the colimit object is algebraic. 0 Introduction Colimits play an important role...
متن کاملCanonical extensions and canonicity via dcpo presentations
The canonical extension of a lattice is in an essential way a two-sided completion. Domain theory, on the contrary, is primarily concerned with one-sided completeness. In this paper, we show two things. Firstly, that the canonical extension of a lattice can be given an asymmetric description in two stages: a free co-directed meet completion, followed by a completion by selected directed joins. ...
متن کاملA DCPO-enriched linear/non-linear model
Rios and Selinger have recently proposed a categorical model for the quantum programming language Proto-Quipper-M, which is an important fragment of the Quipper language. In this work, we describe an extension to their categorical model with the additional property that it is DCPOenriched, bringing us closer to modeling general recursion in the language. Similar to their model, our model exhibi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATEC Web of Conferences
سال: 2016
ISSN: 2261-236X
DOI: 10.1051/matecconf/20164402048